1681. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986: Proceedings
المؤلف: edited by Ehud Y. Shapiro
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
225
1682. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
المؤلف: edited by Ehud Shapiro.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986
1683. Tools and algorithms for the construction and analysis of systems :
المؤلف: Dirk Beyer, Marieke Huisman (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
1684. Tools for high performance computing 2009 :
المؤلف: Matthias S. Müller [and others], editors
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: High performance computing, Congresses,Parallel programming (Computer science), Congresses,Computer science
رده :
QA76
.
88
.
I58
2010
1685. Tools for high performance computing
المؤلف: / Michael Resch ... [et al.], editors
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: High performance computing--Congresses,Parallel programming (Computer science)
رده :
QA
,
76
.
88
,.
I62
,
2008
1686. Tools for high performance computing
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: High performance computing ; Congresses. ; Parallel programming (Computer science) ;
1687. Top productivity through software reus
المؤلف: Klaus Schmid (ed.)
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Computer software, Reusability, Congresses
رده :
QA
،
76
.
76
،.
R47
1688. Topics in theoretical computer science :
المؤلف: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
1689. Towards a service-based Internet
المؤلف: Witold Abramowicz ... [et al.] (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Human-computer interaction, Congresses,Internet, Congresses
رده :
TK5105
.
875
.
I57
S47
2011
1690. Towards next generation grids :
المؤلف: edited by Thierry Priol, Marco Vanneschi.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational grids (Computer systems), Congresses.,Computational grids (Computer systems),Computational grids (Computer systems),COMPUTERS-- Client-Server Computing.,Informatique.
رده :
QA76
.
9
.
C58
C675
2007eb
1691. Towards ubiquitous learning :
المؤلف: Carlos Delgado Kloos [and others] (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Education-- Effect of technological innovations on, Congresses,Educational technology, Congresses,Web-based instruction, Congresses
رده :
LB1028
.
3
.
E955
2011
1692. Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on )Trans( Actions and Change in Logic Programming and Deductive Databases, )DYNAMICS'97(, Port...Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
المؤلف: Burkhard Freitag...]et al.[, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Deductive databases,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1472
1693. Transactions on Edutainment IX
المؤلف: Zhigeng Pan [aut]; Adrian David Cheok [aut]; Wolfgang Müller [aut]; Fotis Liarokapis [aut]
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Active learning -- Congresses.,Computer-assisted instruction -- Congresses.,Educational games -- Congresses.
1694. Trees in algebra and programming
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Data processing Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
166
.
2
.
C3
1986
1695. Trees in algebra and programming, CAAP'96 : 21st International Colloquium, Linkoping, Sweden, April 22-24, 1996 : proceedings
المؤلف: Helene Kirchner )ed.(
المکتبة: (طهران)
موضوع: Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
1059
1696. Trees in algebra and programming, CAAP'94 : 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994 : proceedings
المؤلف: Sophie Tison, )ed.(
المکتبة: (طهران)
موضوع: Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
787
1697. Trees in algebra and programming : 8th Colloquium, L'Aquila, March 9-11, 1983: proceedings CAAP'83
المؤلف: edited by G. Ausiello and M. Protasi
المکتبة: (طهران)
موضوع: Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
159
1698. Trees in algebra and programming: 6th colloquium, Genoa, March 5-7, 1981: proceedings
پدیدآورنده :
موضوع : Data processing Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1699. Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings
المؤلف: CAAP '18, )6th, 1891, Genoa, Italy(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Data processing - Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L4
v
.
112
1700. Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings
المؤلف: CAAP '38, )8th, 3891, L'Aquila, Italy(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Data processing - Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L4
v
.
159
